\footnotesize{
\begin{verbatim}
#(nowPlaying)=
{((((true AND (true AND (player.id.0 != player.id.1))) AND true) AND 
((((((board.id.0 == player.id.0) OR (board.id.0 == player.id.1)) AND 
((board.id.1 == player.id.0) OR (board.id.1 == player.id.1))) AND 
((true AND (true AND ((board.x.0 != board.x.1) OR 
(board.y.0 != board.y.1)))) AND true)) AND (board.id.0 == player.id.0))
OR (((((board.id.0 == player.id.0) OR (board.id.0 == player.id.1)) AND 
((board.id.1 == player.id.0) OR (board.id.1 == player.id.1))) AND 
((true AND (true AND ((board.x.0 != board.x.1) OR 
(board.y.0 != board.y.1)))) AND true)) AND 
(board.id.1 == player.id.0)))),
{nowPlaying.id -> player.id.0}),
               
((((true AND (true AND (player.id.0 != player.id.1))) AND true) AND 
((((((board.id.0 == player.id.0) OR (board.id.0 == player.id.1)) AND 
((board.id.1 == player.id.0) OR (board.id.1 == player.id.1))) AND 
((true AND (true AND ((board.x.0 != board.x.1) OR 
(board.y.0 != board.y.1)))) AND true)) AND (board.id.0 == player.id.1)) 
OR (((((board.id.0 == player.id.0) OR (board.id.0 == player.id.1)) AND
((board.id.1 == player.id.0) OR (board.id.1 == player.id.1))) AND 
((true AND (true AND ((board.x.0 != board.x.1) OR 
(board.y.0 != board.y.1)))) AND true)) AND 
(board.id.1 == player.id.1)))),{nowPlaying.id -> player.id.1})}

\end{verbatim}
}